Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 138 | 133 | 71 | 93 | 163 | 87 | 0 | 0 | 85 |
N.S. |
1 | 0.96 | 0.51 | 0.67 | 1.18 | 0.63 | 0.00 | 0.00 | 0.62 |
time (sec) |
N/A | 0.393 | 0.068 | 0.584 | 0.304 | 0.258 | 0.000 | 0.000 | 0.569 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 169 | 220 | 98 | 123 | 232 | 113 | 0 | 0 | 157 |
N.S. |
1 | 1.30 | 0.58 | 0.73 | 1.37 | 0.67 | 0.00 | 0.00 | 0.93 |
time (sec) |
N/A | 0.508 | 0.054 | 0.668 | 0.340 | 0.248 | 0.000 | 0.000 | 0.595 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 236 | 327 | 156 | 1722 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.39 | 0.66 | 7.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.938 | 0.218 | 19.061 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-1) | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 250 | 401 | 139 | 370 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.60 | 0.56 | 1.48 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.437 | 0.341 | 0.853 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 322 | 689 | 227 | 1970 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 2.14 | 0.70 | 6.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 5.624 | 0.834 | 57.977 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F(-1) | F | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 317 | 0 | 189 | 409 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.60 | 1.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.710 | 1.793 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 385 | 1189 | 360 | 235 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 3.09 | 0.94 | 0.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 5.682 | 1.050 | 1.392 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 436 | 706 | 267 | 302 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.62 | 0.61 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 5.471 | 1.088 | 1.395 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 279 | 227 | 260 | 198 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.81 | 0.93 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.536 | 0.555 | 1.280 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 340 | 228 | 201 | 268 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.67 | 0.59 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.836 | 0.346 | 1.290 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 439 | 305 | 250 | 337 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.69 | 0.57 | 0.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.652 | 0.322 | 1.668 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 458 | 300 | 265 | 309 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.66 | 0.58 | 0.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.906 | 0.752 | 1.573 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 328 | 354 | 222 | 255 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.68 | 0.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.874 | 1.619 | 1.497 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 275 | 267 | 239 | 195 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 0.87 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.872 | 1.475 | 1.378 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 476 | 3185 | 797 | 271 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 6.69 | 1.67 | 0.57 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 18.376 | 3.919 | 1.357 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 531 | 0 | 527 | 338 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.99 | 0.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 2.990 | 1.434 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 334 | 277 | 601 | 237 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.83 | 1.80 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.683 | 3.383 | 1.220 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 438 | 344 | 439 | 304 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.79 | 1.00 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.241 | 0.835 | 1.279 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 530 | 540 | 496 | 365 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.94 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.242 | 2.268 | 1.573 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 556 | 536 | 376 | 356 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.68 | 0.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.106 | 0.929 | 1.515 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 567 | 667 | 455 | 412 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.18 | 0.80 | 0.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 5.754 | 2.482 | 1.554 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 579 | 575 | 453 | 343 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 0.78 | 0.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.293 | 5.006 | 1.631 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | B | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | N/A | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 578 | 0 | 1320 | 309 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 2.28 | 0.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 6.722 | 10.110 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 638 | 0 | 759 | 376 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 1.19 | 0.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 4.151 | 6.043 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 387 | 327 | 1087 | 275 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.84 | 2.81 | 0.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.814 | 7.753 | 3.836 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 516 | 485 | 771 | 342 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 1.49 | 0.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.730 | 1.533 | 2.495 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 605 | 825 | 889 | 404 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.36 | 1.47 | 0.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 5.721 | 7.175 | 3.019 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 655 | 0 | 626 | 399 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.96 | 0.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 1.608 | 2.932 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 661 | 1215 | 761 | 454 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.84 | 1.15 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 10.824 | 7.595 | 3.091 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 675 | 1119 | 644 | 401 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.66 | 0.95 | 0.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 10.472 | 2.945 | 4.437 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 315 | 420 | 279 | 206 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.33 | 0.89 | 0.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.337 | 0.635 | 1.255 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 344 | 242 | 175 | 274 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.70 | 0.51 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.255 | 0.415 | 1.211 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 172 | 126 | 180 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.78 | 0.57 | 0.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.421 | 0.265 | 1.228 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 256 | 143 | 140 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.56 | 0.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.549 | 0.121 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 227 | 126 | 145 | 198 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.56 | 0.64 | 0.87 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.631 | 0.237 | 1.270 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 208 | 155 | 128 | 171 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.75 | 0.62 | 0.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.515 | 0.487 | 1.308 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 328 | 221 | 231 | 261 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.67 | 0.70 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.302 | 1.062 | 1.477 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 311 | 382 | 228 | 206 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.23 | 0.73 | 0.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.465 | 2.236 | 1.473 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 305 | 264 | 209 | 294 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.87 | 0.69 | 0.96 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.900 | 0.749 | 1.201 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 349 | 224 | 228 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.64 | 0.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.165 | 0.401 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 78 | 79 | 50 | 116 | 73 | 51 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.64 | 1.49 | 0.94 | 0.65 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.330 | 0.082 | 1.044 | 0.521 | 0.268 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 72 | 72 | 49 | 114 | 53 | 51 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.68 | 1.58 | 0.74 | 0.71 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.228 | 0.062 | 0.796 | 0.369 | 0.243 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 310 | 214 | 204 | 307 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.69 | 0.66 | 0.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.379 | 0.312 | 1.357 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 293 | 237 | 226 | 279 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.81 | 0.77 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.959 | 0.924 | 1.073 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 422 | 445 | 371 | 376 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.88 | 0.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.262 | 1.931 | 1.088 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 397 | 629 | 270 | 318 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.58 | 0.68 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.855 | 2.783 | 1.265 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 400 | 482 | 229 | 454 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.20 | 0.57 | 1.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.374 | 1.195 | 2.346 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 444 | 391 | 239 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.88 | 0.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.510 | 0.562 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | A | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 205 | 81 | 276 | 0 | 92 | 0 | 0 | 0 |
N.S. |
1 | 1.19 | 0.47 | 1.60 | 0.00 | 0.53 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.685 | 0.163 | 1.871 | 0.000 | 0.264 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 139 | 154 | 80 | 272 | 117 | 88 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.58 | 1.96 | 0.84 | 0.63 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.569 | 0.108 | 1.610 | 0.275 | 0.254 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 137 | 141 | 71 | 276 | 0 | 82 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.52 | 2.01 | 0.00 | 0.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.436 | 0.089 | 0.861 | 0.000 | 0.259 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 157 | 185 | 86 | 272 | 111 | 93 | 0 | 0 | 0 |
N.S. |
1 | 1.18 | 0.55 | 1.73 | 0.71 | 0.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.396 | 0.074 | 1.424 | 0.287 | 0.260 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 389 | 365 | 246 | 461 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 0.63 | 1.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.609 | 0.477 | 1.306 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 381 | 432 | 296 | 579 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.78 | 1.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.961 | 1.422 | 1.221 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 22 | 22 | 24 | 22 | 841 | 37 | 53 | 3 | 24 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 38.23 | 1.68 | 2.41 | 0.14 | 1.09 |
time (sec) |
N/A | 0.217 | 1.432 | 1.122 | 9.323 | 0.262 | 14.903 | 110.247 | 0.485 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 20 | 386 | 22 | 31 | 3 | 22 |
N.S. |
1 | 1.00 | 1.10 | 1.00 | 19.30 | 1.10 | 1.55 | 0.15 | 1.10 |
time (sec) |
N/A | 0.193 | 0.718 | 0.918 | 4.671 | 0.255 | 6.427 | 107.228 | 0.466 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 22 | 22 | 24 | 22 | 24 | 24 | 20 | 3 | 24 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.09 | 0.91 | 0.14 | 1.09 |
time (sec) |
N/A | 0.221 | 0.923 | 0.603 | 0.490 | 0.250 | 1.646 | 99.654 | 0.397 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 22 | 22 | 24 | 22 | 24 | 39 | 31 | 3 | 24 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.77 | 1.41 | 0.14 | 1.09 |
time (sec) |
N/A | 0.225 | 0.620 | 2.138 | 0.506 | 0.270 | 3.089 | 116.296 | 0.441 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | F(-1) | F(-2) | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 24 | 24 | 26 | 22 | 24 | 24 | 0 | 0 | 24 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 0.00 | 0.00 | 1.00 |
time (sec) |
N/A | 0.260 | 1.102 | 1.456 | 0.563 | 0.265 | 0.000 | 0.000 | 0.516 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | F(-2) | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 24 | 24 | 26 | 22 | 24 | 24 | 24 | 0 | 24 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 1.00 | 0.00 | 1.00 |
time (sec) |
N/A | 0.254 | 0.159 | 1.115 | 0.411 | 0.254 | 29.927 | 0.000 | 0.433 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 24 | 24 | 26 | 22 | 24 | 24 | 24 | 3 | 24 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 1.00 | 0.12 | 1.00 |
time (sec) |
N/A | 0.252 | 0.642 | 0.994 | 0.408 | 0.245 | 18.638 | 41.207 | 0.503 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 24 | 24 | 26 | 22 | 24 | 51 | 24 | 3 | 24 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 2.12 | 1.00 | 0.12 | 1.00 |
time (sec) |
N/A | 0.264 | 0.799 | 1.225 | 0.431 | 0.248 | 20.645 | 3.960 | 0.613 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 219 | 711 | 135 | 272 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 3.25 | 0.62 | 1.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.438 | 0.547 | 1.844 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 211 | 503 | 171 | 900 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 2.38 | 0.81 | 4.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.733 | 0.492 | 46.493 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 164 | 101 | 237 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.63 | 1.48 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.653 | 0.083 | 2.583 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 172 | 188 | 144 | 860 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.84 | 5.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.774 | 0.061 | 12.824 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 276 | 339 | 264 | 460 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.23 | 0.96 | 1.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.106 | 0.147 | 19.538 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 169 | 236 | 188 | 1653 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.40 | 1.11 | 9.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.606 | 0.149 | 14.206 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 310 | 328 | 299 | 525 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 0.96 | 1.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.056 | 0.301 | 45.813 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 189 | 305 | 179 | 1807 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.61 | 0.95 | 9.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.004 | 0.421 | 38.365 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 313 | 313 | 165 | 331 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.53 | 1.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.227 | 1.030 | 3.498 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 321 | 321 | 233 | 1256 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 3.91 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.784 | 0.960 | 72.002 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 242 | 233 | 131 | 296 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.54 | 1.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.904 | 0.662 | 3.733 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 289 | 312 | 195 | 953 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.67 | 3.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.286 | 0.477 | 14.286 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 370 | 370 | 302 | 566 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.82 | 1.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.128 | 0.425 | 24.325 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 284 | 284 | 246 | 1793 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.87 | 6.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.920 | 0.325 | 76.248 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 399 | 399 | 302 | 622 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 1.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.004 | 0.407 | 32.788 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 311 | 311 | 294 | 1883 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.95 | 6.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.969 | 0.475 | 103.362 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 381 | 381 | 191 | 383 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.50 | 1.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.479 | 1.697 | 4.952 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 389 | 389 | 281 | 1576 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.72 | 4.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.842 | 1.604 | 121.678 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 308 | 308 | 157 | 346 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.51 | 1.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.219 | 1.102 | 5.191 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 388 | 473 | 243 | 1267 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.22 | 0.63 | 3.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.219 | 1.002 | 86.792 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 447 | 447 | 350 | 664 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.78 | 1.49 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.800 | 0.823 | 56.759 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 354 | 354 | 298 | 1894 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 5.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.434 | 0.605 | 163.404 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 503 | 503 | 464 | 763 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.92 | 1.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.434 | 0.573 | 77.002 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 336 | 336 | 318 | 1948 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.95 | 5.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.296 | 0.660 | 138.346 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 217 | 332 | 154 | 888 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.53 | 0.71 | 4.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.448 | 0.254 | 18.163 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 260 | 269 | 162 | 259 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.62 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.692 | 0.243 | 39.600 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 130 | 136 | 93 | 785 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.05 | 0.72 | 6.04 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.830 | 0.206 | 14.139 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 138 | 142 | 119 | 789 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.86 | 5.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.643 | 0.026 | 15.794 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 16 | 16 | 16 | 15 | 14 | 14 | 0 | 0 | 14 |
N.S. |
1 | 1.00 | 1.00 | 0.94 | 0.88 | 0.88 | 0.00 | 0.00 | 0.88 |
time (sec) |
N/A | 0.180 | 0.004 | 0.665 | 0.277 | 0.239 | 0.000 | 0.000 | 0.135 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 124 | 143 | 100 | 1640 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.15 | 0.81 | 13.23 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.664 | 0.133 | 68.934 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 122 | 135 | 108 | 1609 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 0.89 | 13.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.868 | 0.158 | 66.129 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 262 | 256 | 189 | 441 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 0.72 | 1.68 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.648 | 0.402 | 91.860 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-1) | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 227 | 321 | 153 | 1831 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.41 | 0.67 | 8.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.308 | 0.600 | 77.326 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 270 | 281 | 156 | 936 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.58 | 3.47 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.610 | 0.166 | 24.988 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 136 | 74 | 88 | 218 | 76 | 0 | 0 | 119 |
N.S. |
1 | 1.01 | 0.55 | 0.65 | 1.61 | 0.56 | 0.00 | 0.00 | 0.88 |
time (sec) |
N/A | 0.437 | 0.071 | 1.154 | 0.341 | 0.239 | 0.000 | 0.000 | 0.511 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 133 | 135 | 68 | 75 | 174 | 69 | 0 | 0 | 114 |
N.S. |
1 | 1.02 | 0.51 | 0.56 | 1.31 | 0.52 | 0.00 | 0.00 | 0.86 |
time (sec) |
N/A | 0.422 | 0.056 | 0.945 | 0.299 | 0.240 | 0.000 | 0.000 | 0.475 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 129 | 131 | 71 | 88 | 213 | 73 | 0 | 0 | 119 |
N.S. |
1 | 1.02 | 0.55 | 0.68 | 1.65 | 0.57 | 0.00 | 0.00 | 0.92 |
time (sec) |
N/A | 0.393 | 0.041 | 1.059 | 0.327 | 0.244 | 0.000 | 0.000 | 0.502 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 240 | 279 | 156 | 1787 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.16 | 0.65 | 7.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.545 | 0.165 | 84.450 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |